81. Principles and practice of constraint programming--CP'97 :
پدیدآورنده : Gert Smolka (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science),Constraint programming (Computer science) -- Congresses.,Programmatuurtechniek.
82. Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) :
پدیدآورنده : editors, Liew-Kee Kor [and 3 others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems, Congresses.,Mathematics, Congresses.,Statistics, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mathematics.,Statistics.
رده :
QA76
.
24
83. Proceedings of the 3rd International Conference on Advanced Computing, Networking, and Informatics (ICACNI 2015). Volume 1
پدیدآورنده : Atulya Nagar, Durga Prasad Mohapatra, Nabendu Chaki, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks -- Congresses.,Computer science -- Congresses.,COMPUTERS -- Computer Literacy.
84. Quantitative functional brain imaging with positron emission tomography /
پدیدآورنده : edited by Richard E. Carson, Margaret E. Daube-Witherspoon, Peter Herscovitch.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Brain-- Tomography.,Brain Mapping-- methods, Congresses.,Brain-- radionuclide imaging, Congresses.,Image Processing, Computer-Assisted-- methods, Congresses.,Models, Neurological, Congresses.,Tomography, Emission-Computed-- methods, Congresses.,Brain-- Tomography.,MEDICAL-- Neuroscience.,PSYCHOLOGY-- Neuropsychology.
رده :
QP376
.
6
.
Q36
1998eb
85. Randomization and approximation techniques in computer science: International Workshop RANDOM'97 Bologna, Italy, July 11-12, 1997: proceedings
پدیدآورنده : Jose Rolim, ]ed.[
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Statistical methods - Congresses ، Computer science,Mathematics - Congresses ، Computer science
رده :
QA
76
.
9
.
M35
R36
1997
86. Randomization and approximation techniques in computer science : International Workshop RANDOM'97, Bologna, Italy, July 11-12, 1997 : proceedings
پدیدآورنده : Jose Rolim, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Statistical methods -- Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1269
87. Randomization and approximation techniques in computer science : second International Workshop, RANDOM'98, Barcelona, Spain, October 1998 : proceedings
پدیدآورنده : Michael Luby, Jose Rolim, Maria Serna )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Statistical methods -- Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1518
88. Randomization and approximation techniques in computer science : 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002 : proceedings
پدیدآورنده : Jose D.P. Rolim, Salil Vadhan )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Statistical methods -- Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2483
89. Randomization, approximation, and combinatorial optimization : algorithms and techniques : Third International Workshop on Randomization and Approximation Techniques in Computer Science, and Second International Workshop on Approximation Algorithms for Combinatorial Optimization Problems RANDOM-APPROX'99, Berkeley, CA, August 8-11, 1999 : Proceedings
پدیدآورنده : Dorit Hochbaum...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Statistical methods -- Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1671
90. Runtime verification :
پدیدآورنده : Axel Legay, Saddek Bensalem (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2013
91. Services -- SERVICES 2019 :
پدیدآورنده : Yunni Xia, Liang-Jie Zhang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems, Congresses.,Computer systems.
رده :
QA75
.
5
92. Smart computing and communication :
پدیدآورنده : Meikang Qiu (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cloud computing, Congresses.,Computer networks, Congresses.,Computer security, Congresses.,Cloud computing.,Computer networks.,Computer security.
رده :
QA76
.
585
93. Speech and computer :
پدیدآورنده : Miloš Železný, Ivan Habernal, Andrey Ronzhin (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Computer science, Congresses,Computer vision, Congresses,Database management, Congresses,Information storage and retrieval systems, Congresses,Optical pattern recognition, Congresses
رده :
QA75
.
5
.
I58
2013
94. Statistical Methods in Video Processing
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Image transmission -- Statistical methods -- Congresses,Video processing
رده :
E-Book
,
95. Statistical atlases and computational models of the heart :
پدیدآورنده : Mihaela Pop, Maxime Sermesant, Pierre-Marc Jodoin, Alain Lalande, Xiahai Zhuang, Guang Yang, Alistair Young, Olivier Bernard (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Heart-- Computer simulation, Congresses.,Heart-- Imaging, Congresses.,Image processing-- Digital techniques, Congresses.,Imaging systems in medicine, Congresses.,Three-dimensional imaging in medicine, Congresses.,Heart-- diagnostic imaging.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Heart-- Imaging.,Image processing-- Digital techniques.,Image processing.,Imaging systems in medicine.,Three-dimensional imaging in medicine.
رده :
RC683
.
5
.
I42
96. Statistical atlases and computational models of the heart :
پدیدآورنده : Mihaela Pop, Maxime Sermesant, Jichao Zhao, Shuo Li, Kristin McLeod, Alistair Young, Kawal Rhode, Tommaso Mansi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Heart-- Computer simulation, Congresses.,Heart-- Imaging, Congresses.,Image processing-- Digital techniques, Congresses.,Imaging systems in medicine, Congresses.,Three-dimensional imaging in medicine, Congresses.,Heart-- Imaging.,Image processing-- Digital techniques.,Imaging systems in medicine.,Three-dimensional imaging in medicine.
رده :
RC683
.
5
.
I42
97. Statistical language and speech processing :
پدیدآورنده : Laurent Besacier, Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Computational linguistics, Congresses,Mathematical linguistics, Congresses,Speech processing systems, Congresses,Artificial Intelligence (incl. Robotics),Computer Science,Data Mining and Knowledge Discovery
رده :
P98
98. Statistical methods in video processing : ECCV 2004 Workshop SMVP 2004, Prague, Czech Republic, May 16, 2004 revised selected papers
پدیدآورنده : Dorin Comaniciu...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Statistical methods -- Congresses ، Image transmission
رده :
QA
76
.
L28
Vol
.
3247
99. Text, speech, and dialogue :
پدیدآورنده : Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Natural language processing (Computer science), Congresses.,Speech processing systems, Congresses.,Text processing (Computer science), Congresses.,Artificial Intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Natural language processing (Computer science),Speech processing systems.,Text processing (Computer science)
رده :
QA76
.
9
.
N38